package ast;

public class In extends Binder implements BasicBinder {

	private Term t;
	private ExpVar x;
	
	public In(Term trm, ExpVar ev)
	{
		t = trm;
		x = ev;
	}
	
	public Term getT() {
		return t;
	}

	public ExpVar getX() {
		return x;
	}

	public String toString()
	{
		return t + "?" + x;
	}
	
}
